((v2 v3 5) (v1 v2 9) (v7 v6 8) (v5 v4 4) (v5 v1 2) (v5 v3 2) (v2 v7 2) (v7 v4 4) (v1 v6 9) (v5 v6 2) (v4 v3 4) (v4 v1 3))
72
()